21. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
22. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده : by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Biology_xData processing.,Computer-aided design.
23. Constraint and Integer Programming :
پدیدآورنده : edited by Michela Milano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Information theory.
24. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
25. Decision science in action :
پدیدآورنده : Kusum Deep, Madhu Jain, Said Salhi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision making.,Mathematical optimization.,Operations Research, Management Science.,Operations Research/Decision Theory.,Statistics for Business, Management, Economics, Finance, Insurance.,Decision making.,Mathematical optimization.,MATHEMATICS / Applied.,MATHEMATICS / Probability & Statistics / General.,Operational research.,Probability & statistics.
رده :
QA279
.
4
26. Diagnostic problem solving: Combining heuristic, approximate and casual reasoning
پدیدآورنده : Pietro Torasso and Luca Console
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Expert systems
رده :
QA
,
76
.
76
,.
T6D5
,
1989
27. EUROSAM 84 :
پدیدآورنده : edited by John Fitch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science, general.,Computer science.,Computer Science.
28. Economic and Financial Knowledge-Based Processing
پدیدآورنده : by Louis F. Pau, Claudio Gianotti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Economics.,Management information systems.
رده :
HG173
.
B956
1990
29. Evolutionary computation in combinatorial optimization :
پدیدآورنده : EvoCOP 2013, Vienna, Austria, April 3-5, 2013 ; Martin Middendorf [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionärer Algorithmus,Kombinatorische Optimierung,Metaheuristik
30. Experimental algorithms :
پدیدآورنده : Ralf Klasing (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms.,Informatique.
31. Extending the horizons :
پدیدآورنده : edited by Edward K. Baker ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Operations research, Congresses.
32. Facets of Combinatorial Optimizatio
پدیدآورنده : / edited by Michael J?╝nger, Gerhard Reinelt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computational complexity,Algorithms,Mathematical optimization,Electronic books
رده :
E-BOOK
33. Formal Methods and Software Engineering :
پدیدآورنده : Toshiaki Aoki ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fehlertoleranz.,Formale Methode.,Model Checking.
رده :
QA76
.
9
.
F67
T674
2012
34. From Local to Global Optimization
پدیدآورنده : edited by Athanasios Migdalas, Panos M. Pardalos, Peter Värbrand.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Electronic data processing.,Mathematical optimization.,Mathematics.,Systems theory.
35. GWAI-83 :
پدیدآورنده : edited by Bernd Neumann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q334
.
E358
1983
36. Graph-based representations in pattern recognition :
پدیدآورنده : Donatello Conte, Jean-Yves Ramel, Pasquale Foggia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision, Congresses.,Graph theory, Congresses.,Pattern recognition systems, Congresses.,Computer vision.,Graph theory.,Pattern recognition systems.
رده :
TK7882
.
P3
37. Handbook of heuristics /
پدیدآورنده : Rafael Martí, Panos M. Pardalos, Mauricio G.C. Resende, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Handbooks, manuals, etc.,Heuristic algorithms, Handbooks, manuals, etc.,Algorithms.,Heuristic algorithms.
رده :
QA76
.
9
.
A43
38. Heuristic research: design, methodology, and applications
پدیدآورنده : Moustakas, Clark E.
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Heuristic,، Problem solving
رده :
BD
260
.
M68
1990
39. Heuristics
پدیدآورنده : / Judea Pearl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Artificial intelligence,Operations research,Problem solving- Data processing,Heuristic programming
رده :
Q335
.
P38
1984
40. Heuristics
پدیدآورنده : / Judea Pearl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Artificial intelligence,Operations research,Problem solving- Data processing,Heuristic programming
رده :
Q335
.
P38
1984
